Mit Bücher.World findest Du Bücher Du in hunderten Online-Shops - von Romanen bis zur Fachliteratur.
Bücher.World ist eine Suchmaschine speziell für Bücher.
Mit Bücher.World kannst Du ganz einfach nach Romanen, Fachliteratur, Sachbüchern, Lexika und mehr im Internet suchen - wir zeigen Dir die besten Angebote, die wir in mehreren hundert Online-Buchfachgeschäften finden konnten. Mit einem Klick gelangst Du auf die Seite des Online-Shops, in dem Du das Buch kaufen kannst.
Kategorien
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

58,82 €
Einband: Taschenbuch
Seitenzahl: 240 Seiten
Erscheinungsdatum: 01.01.1970
Verlag: Springer
gefunden bei Amazon
Zum Shop

Beschreibung

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283) von Nipkow, Tobias im Online-Buchhandel:

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
von Nipkow, Tobias
58,82 €
gefunden bei Amazon Marketplace
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283...
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Einband: Taschenbuch, Seitenzahl: 240 Seiten
Zur Online-Buchhandlung von
Amazon Marketplace
Bewerte das Buch
Absenden
  • Habe ich gelesen
  • Möchte ich noch lesen
  • Lieblingsbücher
  • Wunschliste

Aktuelle Bestseller im Genre Sprachen & Tools

SystemC: From the Ground Up, Second Edition von Springer
SystemC: From the Ground Up, Second Edition
Taschenbuch
gefunden bei Amazon
106,99 €
Zum Shop
Learn C++ for Game Development von Apress
Learn C++ for Game Development
Taschenbuch
gefunden bei Amazon
69,63 €
Zum Shop
Murach's Cics for the Cobol Programmer: Training & Reference (Murach: Training & Reference)
Murach's Cics for the Cobol Programmer: Training & Reference (Murach: Training & Reference)
Taschenbuch
gefunden bei Amazon Marketplace
56,93 €
Zum Shop
Inside the C++ Object Model
Inside the C++ Object Model
Taschenbuch
gefunden bei Amazon Marketplace
74,02 €
Zum Shop
Constraint Handling Rules
Constraint Handling Rules
Gebundene Ausgabe
gefunden bei Amazon Marketplace
61,00 €
Zum Shop
Scripting in Java: Integrating with Groovy and JavaScript von Apress
Scripting in Java: Integrating with Groovy and JavaScript
Taschenbuch
gefunden bei Amazon
29,99 €
Zum Shop
Learning to Program von Addison Wesley
Learning to Program
Taschenbuch
gefunden bei Amazon
26,38 €
Zum Shop
Algorithms in C, Part 5: Graph Algorithms (3rd Edition) (Pt.5) von Addison Wesley
Algorithms in C, Part 5: Graph Algorithms (3rd Edition) (Pt.5)
Taschenbuch
gefunden bei Amazon
39,54 €
Zum Shop
Mastering Oracle SQL von O'Reilly Media
Mastering Oracle SQL
Taschenbuch
gefunden bei Amazon
32,00 €
Zum Shop
The Mathematica GuideBook for Programming
The Mathematica GuideBook for Programming
Taschenbuch
gefunden bei Amazon Marketplace
59,99 €
Zum Shop

Aktuelle Bestseller des Verlags Springer

Techniken der offenen Gefäßchirurgie: Standards, Taktiken, Tricks von Springer
Techniken der offenen Gefäßchirurgie: Standards, Taktiken, Tricks
Gebundene Ausgabe
gefunden bei Amazon
179,99 €
Zum Shop
Akupunktur - Einführung von Springer
Akupunktur - Einführung
Taschenbuch
gefunden bei Amazon
39,99 €
Zum Shop
Demenzen in Theorie und Praxis von Springer
Demenzen in Theorie und Praxis
Taschenbuch
gefunden bei Amazon
89,99 €
Zum Shop
Qualitätsmanagement im Gesundheitswesen: Grundlagen für Studium und Praxis von Springer
Qualitätsmanagement im Gesundheitswesen: Grundlagen für Studium und Praxis
Taschenbuch
gefunden bei Amazon
34,99 €
Zum Shop
Physical Asset Management: With an Introduction to the ISO 55000 Series of Standards
Physical Asset Management: With an Introduction to the ISO 55000 Series of Standards
Gebundene Ausgabe
gefunden bei Amazon Marketplace
126,97 €
Zum Shop
Towards a Sustainable Philosophy of Endurance Sport: Cycling for Life (Library of Ethics and Applied Philosophy, 37, Band 37) von Springer
Towards a Sustainable Philosophy of Endurance Sport: Cycling for Life (Library of Ethics and Applied Philosophy, 37, Band 37)
Gebundene Ausgabe
gefunden bei Amazon
53,21 €
Zum Shop
Ärztlicher Notfalldienst: Ein Praktischer Leitfaden (German Edition) von Springer
Ärztlicher Notfalldienst: Ein Praktischer Leitfaden (German Edition)
Taschenbuch
gefunden bei Amazon
79,99 €
Zum Shop
mRNA Vaccines (Current Topics in Microbiology and Immunology, 437, Band 437) von Springer
mRNA Vaccines (Current Topics in Microbiology and Immunology, 437, Band 437)
Gebundene Ausgabe
gefunden bei Amazon
139,88 €
Zum Shop
Entzündliche Augenerkrankungen von Springer
Entzündliche Augenerkrankungen
Gebundene Ausgabe
gefunden bei Amazon
199,99 €
Zum Shop